Decreasing mathematical strength in one formalization of parametric polymorphism (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI res

Source URL: intelligence.org

RECURSIVELY-DEFINED LOGICAL THEORIES ARE WELL-DEFINED (BRIEF TECHNICAL NOTE) NISAN STIENNON This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written durin

Source URL: intelligence.org

Botworld 1.1 (Technical Report) Nate Soares, Benja Fallenstein Machine Intelligence Research Institute 2030 Addison St. #300 Berkeley, CA 94704, USA

Source URL: machine-intelligence.github.io

“Loudness”: On priors over preference relations (Brief technical note) Benja Fallenstein and Nisan Stiennon May 2014 Abstract This is a quick writeup of a problem discussed at the May 2014 MIRI

Source URL: intelligence.org

An infinitely descending sequence of sound theories each proving the next consistent (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI

Source URL: intelligence.org

• Mathematics
• Z notation
• Zermelo–Fraenkel set theory
• Ordinal numbers
• Constructible universe
• Ordinal analysis
• Consistency
• Forcing
• Proof theory
• Mathematical logic
• Logic

[Click here and type address]

Source URL: www.eqar.eu

• Technical communication
• Business intelligence
• Documents
• Report

Microsoft Word - GuidelineProjectReport_Compendium.doc

Source URL: www.bccn-berlin.de

• Information science
• Scientific literature
• Technology
• Science
• Paragraph
• Citation
• Scientific journal
• Intelligence quotient
• Intergovernmental Panel on Climate Change
• Technical communication
• Information
• Bibliography

The 5-and-10 problem and the tiling agents formalism (Brief technical note) Benja Fallenstein This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written duri

Source URL: intelligence.org

• Knowledge
• Logic
• Eliezer Yudkowsky
• Transhumanists
• Formalism
• Mathematical proof
• Vacuous truth
• Mathematical logic
• Mathematics
• Singularitarianism

Emotional Intelligence General intelligence and technical skills are important in

Source URL: eqmentor.com

• Popular psychology
• Human resource management
• Emotional intelligence
• Positive psychology
• Empathy
• E-learning
• Action learning
• Mentorship
• Intelligence
• Education
• Learning
• Educational psychology

International Journal of Education and Research Vol. 1 No. 12 December 2013 The Reflective Practice in Interaction Design at PUC-Rio’s Design Program

Source URL: www.ijern.com

• Design
• User interfaces
• Virtual reality
• Human–computer interaction
• Technical communication
• Interaction design
• Physical computing
• Ambient intelligence
• Ubiquitous computing
• Human–computer interaction
• Computing
• Software